Merge branch 'wip/chergert/undo-fixes' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 24 Sep 2021 12:36:30 +0000 (12:36 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 24 Sep 2021 12:36:30 +0000 (12:36 +0000)
texthistory: add barriers after final grouping

Closes #4276

See merge request GNOME/gtk!3989


Trivial merge